Stable, Mutable References for Ante
antelang.org·13h·
Discuss: Hacker News, r/programming
🔒Type Safety
Sets & Heaps in Haskell and Rust
mmhaskell.com·18h
🔒Type Safety
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·13h·
Discuss: Hacker News
⚡Hardware Transactional Memory
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·11h·
Discuss: DEV
🔒Type Safety
Learning Through Doing: From one language to another
blog.scottlogic.com·4d
🦀Rust Borrowing
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·12h·
Discuss: Hacker News
✅Format Verification
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·16h
🤝Paxos Consensus
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Rust for JavaScript Engineers – Intro
afloat.boats·1d·
Discuss: Hacker News
🦀Rust Macros
How far is Rust lagging Zig regarding const eval?
reddit.com·8h·
Discuss: r/rust
🦀Rust Macros
Capture Checking in Scala
nrinaudo.github.io·21h·
Discuss: Hacker News
🧪Binary Fuzzing
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Anonymous structavaganza in zig
lirk.top·9h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·19h
🔍eBPF
Song recommendations with F# free monads
blog.ploeh.dk·20h
🔗Functional Compilers
The Lobster Programming Language
strlen.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·13h·
Discuss: Hacker News
⚡Proof Automation
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·2h·
Discuss: Hacker News
🦀Rusty Databases
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·2d·
Discuss: Hacker News, r/cpp
🔒Type Safety